Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 4.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 003413 | Frédéric Blanqui [République populaire de Chine] ; Cody Roux [France] | On the relation between sized-types based termination and semantic labelling |
| 003920 | Frédéric Blanqui [République populaire de Chine, France] ; Cody Roux [France] | On the Relation between Sized-Types Based Termination and Semantic Labelling |
| 003E48 | Frédéric Blanqui [République populaire de Chine] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | The computability path ordering: the end of a quest |
| 003E53 | Frédéric Blanqui [République populaire de Chine] ; Jean-Pierre Jouannaud [France] ; Pierre-Yves Strub [France] | From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures |
| This area was generated with Dilib version V0.6.33. |  |